appMenu: Remove separator in window section

We currently copy the app icon menu behavior, which puts a separator
between windows from the current workspace and windows from any other
workspace. It is more useful to have the windows section appear as a
clearly marked group, so drop the separator.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/968

diff --git a/js/ui/panel.js b/js/ui/panel.js
index a1f119941925c48b4e6ee875f4d9db448560461c..aaf9f7b99cd6c9c86061aa6b72436900eaabdd92 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -174,13 +174,6 @@ class AppMenu extends PopupMenu.PopupMenu {
                 Main.activateWindow(window, event.get_time());
             });
         });
-
-        // Add separator between windows of the current desktop and other windows.
-        let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
-        let pos = windows.findIndex(w => w.get_workspace() != activeWorkspace);
-        if (pos >= 0)
-            this._windowSection.addMenuItem(new PopupMenu.PopupSeparatorMenuItem(), pos);
     }
 }